CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theo...
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theo... by de Roever, Willem-Paul, Eng... ISBN: 9780521103503 List Price: $79.00
$61.65 (Save 21%)
2.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Bakker, Jacobus W. de, Roev... ISBN: 9783662173268 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
3.
Compositionality : The Significant Difference
Compositionality : The Significant Difference by Roever, Willem-Paul de, Lan... ISBN: 9783662193129 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Current Trends in Concurrency
Current Trends in Concurrency by Bakker, Jacobus W. de, Roev... ISBN: 9783662190203 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Programming Concepts and Methods Procomet '98
Programming Concepts and Methods Procomet '98 by Gries, David, de Roever, Wi... ISBN: 9781475762983 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Or...
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Or... by Langmaack, Hans, Roever, Wi... ISBN: 9783662192894 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Stepwise Refinement of Distributed Systems
Stepwise Refinement of Distributed Systems by Bakker, Jaco W. de, Roever,... ISBN: 9783662163795 List Price: $24.99

OUT OF STOCK

See Availability on Amazon